Software language - PDFSEARCH.IO - Document Search Engine

Software language
Results: 21611

#	Item
61	Prajna: Cloud Service and Interactive Big Data Analytics (Distributed Platform Building Leverage Functional Programming) Jin Li, Sanjeev Mehrotra and Weirong Zhu Microsoft One Microsoft Way, Bld. 99, Redmond, WA, USA {ji Add to Reading List Source URL: msrccs.github.io Language: English - Date: 2015-12-23 17:23:59 Computing Software engineering Computer programming Higher-order functions Programming language comparisons Parallel computing Apache Software Foundation Fold Recursion Apache Spark MapReduce Map
62	Introduction to Smalltalk, VisualWorks - Table of contents  Ivan TomekTable of contents Preface Part 1 Introduction to object-oriented problem solving and the Smalltalk language Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:18 Software engineering Computer programming Software Object-oriented programming languages VisualWorks Class Smalltalk Metaclass Object-oriented programming Widget Symbol Graphical user interface
63	2016 ‫مؤتمر ومعرض كهرباء الخليج‬ GCC POWER 2016 November Doha Add to Reading List Source URL: cigre-gccpower.com Language: English - Date: 2016-03-19 08:16:08 Software Programming language implementation Compilers GNU Compiler Collection International Council on Large Electric Systems Sponsor
64	Sparser, Better, Faster GPU Parsing David Hall Taylor Berg-Kirkpatrick John Canny Dan Klein Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2014-04-16 23:03:50 Formal languages Syntax Software engineering Parsing algorithms Natural language parsing Cognitive science Computer programming Compiler construction Parsing Stochastic context-free grammar Formal grammar Parse tree
65	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.4.A – Teil 1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:14 Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Data modeling Meta-Object Facility Metamodeling KM3 Object Constraint Language Generic Modeling Environment Semantics
66	Instructions for NAACL HLT 2016 Proceedings* Anonymous NAACL submission Add to Reading List Source URL: naacl.org Language: English - Date: 2016-04-28 07:11:46 Software Computing Language Open formats Grey literature LaTeX Screenplay Portable Document Format Pages TeX Word processor HTML element
67	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
68	Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold FO Haskell features Standard ML
69	EVALUATION OF HMM-BASED LAUGHTER SYNTHESIS J´erˆome Urbain and H¨useyin C¸akmak and Thierry Dutoit TCTS Lab, Facult´e Polytechnique, Universit´e de Mons, Place du Parc 20, 7000 Mons, Belgium ABSTRACT In this paper Add to Reading List Source URL: www.ilhaire.eu Language: English - Date: 2013-09-16 09:39:18 Computational linguistics Language Music Linguistics Assistive technology Speech synthesis Laughter Speech recognition software Phonetic transcription Synthesis Transcription Synthesizer
70	Eective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Computing Functional languages Programming paradigms Prolog Interpreter Escher Programming language Declarative programming APL

UPDATE